منابع مشابه
Memoriam.
George W. Housner, Carl F Braun Professor of Engineering, emeritus, died after a short illness on 10 November 2008, just a few weeks before his 98th birthday. He was in the retirement home in Pasadena where he had lived for several years. For all of us who knew George, this marked the end of an era. Few people have guided and nurtured a field the way George led earthquake engineering over a per...
متن کاملPropositional Lax Logic Propositional Lax Logic
We investigate a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. As a modal logic it is special since it features a single modal...
متن کاملIn Memoriam: Mark Everingham
MARK EVERINGHAM was a brilliant colleague. You may have been aware of him at conferences where he asked penetrating questions that could crystallize a key aspect of a paper. In conversation with him you might have been stunned by a new connection he made between areas of research or to a crucial related work. These questions and observations were a reflection of his very broad knowledge and dee...
متن کاملSteven Hsiao: In Memoriam
Steven Hsiao Hopkins neuroscientist Steven Hsiao, one of the world’s leading experts on the neural basis of touch, passed away on June 16, 2014 at the age of 59 from lung cancer. Steve, the heir of an eminent line of sensory neuroscientists that included Vernon B. Mouncastle and Kenneth O. Johnson, sought to understand the neural code: how do spatio-temporal patterns of activity along the neura...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Humanistic Mathematics Network Journal
سال: 1999
ISSN: 1065-8297
DOI: 10.5642/hmnj.199901.21.03